A Specification Construction Unit - based editor for Hiroshi Ishikawa Department of Information Processing Engineering
نویسنده
چکیده
This paper proposes a formal specification supporting tool. It is designed on the basis of the specification reusability and the convenience to construct specification repository. The tool, called ZEditor, is designed for supporting the Z specification Two remarkable features of ZEditor are as follows. Firstly, focus attention on some specification construction units so that ZEditor provides several specified input screens.for them. Specifications described by can be saved as the format or the XML one from each input screen. In each input screen, syntax and type checking of specifications can be also available. Secondly, the author can construct and edit an appropriate specification from some specification construction units which passed syntax and type checking. ZEditor make it possible to describe specifications easily, to reuse correct specification construction units, and to constructing specification repository.
منابع مشابه
Formal Method in Service Composition in Heath Care Systems
One of the areas with greatest needs having available information at the right moment and with high accuracy is healthcare. Right information at right time saves lives. Healthcare is a vital domain which needs high processing power for high amounts of data. Due to the critical and the special characteristics of these systems, formal methods are used for specification, description and verificati...
متن کاملA Budgeting Model for the Safety Unit of an Under Construction Metro Station in Tehran Using a Robust Optimization
Background: The construction of metro lines is a high-risk project. Using a budget-based model for the safety units of metro construction projects can help safety managers to spend optimal budget allocation. The purpose of this study was to plan a budget model based on safety unit performance in an under construction metro station for better budget allocation using robust optimization. Methods...
متن کاملOn a GUI-based Editor for Z Specifications and its Applications
There are some problems to describe the formal Z notation using a standard text editor. One of the reasons is to use the non-standard fonts and the special symbols in the Z notation, then making it difficult to write Z documents. This paper presents a solution to such problems. A prototype on a GUI-based editor for Z specifications, named ZEditor, is developed and improved. Using ZEditor, Z doc...
متن کاملFast Cellular Automata Implementation on Graphic Processor Unit (GPU) for Salt and Pepper Noise Removal
Noise removal operation is commonly applied as pre-processing step before subsequent image processing tasks due to the occurrence of noise during acquisition or transmission process. A common problem in imaging systems by using CMOS or CCD sensors is appearance of the salt and pepper noise. This paper presents Cellular Automata (CA) framework for noise removal of distorted image by the salt an...
متن کاملModelsaz: An Object-Oriented Computer-Aided Modeling Environment
Modeling and simulation of processing plants are widely used in industry. Construction of a mathematical model for a plant is a time-consuming and error-prone task. In light of extensive advancements in computer science (both hardware and software), computers are becoming a necessary instrument in industrial activities. Many software tools for modeling, simulation and optimization of proces...
متن کامل